Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
891	Structures Cell Decomposition Dimension and Euler Characteristic Definable Families and Collections Adding more Structure Tame Topology and O-Minimal Structures University of Illinois Urbana-Champaign Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2013-06-17 14:33:02 Model theory Algebraic topology Real algebraic geometry Mathematical structures Mathematical logic O-minimal theory Euler characteristic Definable set CW complex Topology Structure Semialgebraic set
892	Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:06 Semantic Web Model theory Information science Technical communication Knowledge representation Ontology Module Structure Web Ontology Language Elementary class Determinacy
893	Incentive Compatibility of Bitcoin Mining Pool Reward Functions Okke Schrijvers, Joseph Bonneau, Dan Boneh, and Tim Roughgarden Stanford University Abstract. In this paper we introduce a game-theoretic model for reward Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2016-02-14 00:07:23 Bitcoin Cryptocurrencies Mining pool Reinforcement learning
894	Are ABS and OR Commensurable Paradigms? Stewart Robinson Warwick Business School CRESS/Sim SIG, 24 March 2011 Add to Reading List Source URL: www.simian.ac.uk Language: English - Date: 2011-05-04 09:35:18 Simulation Scientific modeling Agent-based model Artificial life Complex systems theory Scientific modelling Economic model Conceptual model
895	Kinga Williams: From terror to tolerance FROM TERROR TO TOLERANCE The Mortality Management Model Date of Submission: Add to Reading List Source URL: www.freiberufler-bdp.de Language: English - Date: 2012-10-17 09:05:56 Social psychology Attitude change Emotions Death Existential therapy Mortality salience Terror management theory Anxiety Death anxiety Salience Stress Positive psychology
896	Microsoft Word - BackPage Add to Reading List Source URL: www.iaees.org Language: English - Date: 2016-07-02 11:14:40 Applied mathematics Computational science Complex systems theory Computational statistics Agent-based model Computer science Computational mathematics Computational biology
897	A LOTKA-VOLTERRA MODEL OF THE EVOLUTIONARY DYNAMICS OF COMPOSITIONALITY MARKERS ANDREAS BAUMANN, CHRISTINA PRÖMER Department of English, University of Vienna, Vienna, Austria , christina.proe Add to Reading List Source URL: evolang.org Language: English - Date: 2016-03-07 08:26:15 Community ecology Predation Evolutionary dynamics Complex systems theory LotkaVolterra equations Evolutionary invasion analysis Self-replication Complexity Consonant cluster Principle of compositionality
898	Individuals, Universals, Collections: On the Foundational Relations of Ontology Thomas BITTNER1 , Maureen DONNELLY1 , and Barry SMITH1,2 1 Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-08-12 11:36:24 Predicate logic Quantification Ontology Logic First-order logic Model theory Problem of universals Universal quantification Universal Net Quantifier
899	Energetic Natural Gradient Descent Philip S. Thomas Bruno Castro da Silva Christoph Dann Emma Brunskill Add to Reading List Source URL: psthomas.com Language: English - Date: 2016-05-27 10:07:35 Statistical theory Estimation theory Parametric model Loss function Fisher information Expectationmaximization algorithm Divergence
900	Web Intelligence and Virtual Entreprise, xxxx 1 Improving dynamic skills searching in virtual social communities using agent’s network Add to Reading List Source URL: wic.litislab.fr Language: English - Date: 2013-12-09 08:25:54 Network theory Systems theory Social networks Networks Complex systems theory Agent-based model Social network Routing Centrality Social simulation Network science Social network analysis software

UPDATE